The Class Of Statically Deceptive Problems Is NP-Turing Complete

نویسنده

  • Hillol Kargupta
چکیده

This paper identiies the complexity class of statically constructed partially deceptive problems by proving a turing reduction of 3-SAT problem to partially deceptive problem. This essentially proves that the class of partially deceptive problems is NP-turing complete and one may not be able to nd a polynomial complexity algorithm for solving deceptive problems unless P = NP. This paper also addresses the issue of either constructing a non-deceptive representation or somehow transforming the problem itself to a non-deceptive one. It is observed that such eeorts are likely to rely on the a priori knowledge of the order of deception. Unfortunately, determining the order of deception turns out to be an NP-hard problem. Abstract This paper identiies the complexity class of statically constructed partially deceptive problems by proving a turing reduction of 3-SAT problem to partially deceptive problem. This essentially proves that the class of partially deceptive problems is NP-turing complete and one may not be able to nd a polynomial complexity algorithm for solving deceptive problems unless P = NP. This paper also addresses the issue of either constructing a non-deceptive representation or somehow transforming the problem itself to a non-deceptive one. It is observed that such eeorts are likely to rely on the a priori knowledge of the order of deception. Unfortunately, determining the order of deception turns out to be an NP-hard problem.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Logics for complexity classes

A new syntactic characterization of problems complete via Turing reductions is presented. General canonical forms are developed in order to define such problems. One of these forms allows us to define complete problems on ordered structures, and another form to define them on unordered non-Aristotelian structures. Using the canonical forms, logics are developed for complete problems in various ...

متن کامل

Report on article The Travelling Salesman Problem: A Linear Programming Formulation

Unknown relation between P and NP [3] complexity classes remains to be one of significant non solved problems in complexity theory. P complexity class consists of problems solvable by Deterministic Turing Machine (DTM) in polynomially bounded time, while NP complexity class consists of problem solvable by Non Deterministic Turing Machine (NDTM) in polynomially bounded time. This means that DTM ...

متن کامل

Constraint satisfaction: a personal perspective

Attempts at classifying computational problems as polynomial time solvable, NP-complete, or belonging to a higher level in the polynomial hierarchy, face the difficulty of undecidability. These classes, including NP, admit a logic formulation. By suitably restricting the formulation, one finds the logic class MMSNP, or monotone monadic strict NP without inequality, as a largest class that seems...

متن کامل

R1-ttSN(NP) Distinguishes Robust Many-One and Turing Completeness

Do complexity classes have many-one complete sets if and only if they have Turingcomplete sets? We prove that there is a relativized world in which a relatively natural complexity class—namely a downward closure of NP, R 1-tt(NP)—has Turing-complete sets but has no many-one complete sets. In fact, we show that in the same relativized world this class has 2-truth-table complete sets but lacks 1-...

متن کامل

Satisfiability of cross product terms is complete for real nondeterministic polytime Blum-Shub-Smale machines

Nondeterministic polynomial-time Blum-Shub-Smale Machines over the reals give rise to a discrete complexity class between NP and PSPACE. Several problems, mostly from real algebraic geometry / polynomial systems, have been shown complete (under many-one reduction by polynomial-time Turing machines) for this class. We exhibit a new one based on questions about expressions built from cross produc...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1995